#ifndef _OPTIONS_H
#define _OPTIONS_H
void opt_input_file(void *optctx, const char *filename);
#endif

